Connned Types

نویسندگان

  • Boris Bokowski
  • Jan Vitek
چکیده

Sharing and transfer of object references is diicult to control in object-oriented languages. Uncon-strained sharing poses serious problems for writing secure components in object-oriented languages. In this paper, we present a set of inexpensive syntactic constraints that strengthen encapsulation in object-oriented programs and facilitate the implementation of secure systems. We introduce two mechanisms: connned types to impose static scoping on dynamic object references and anonymous methods which do not reveal the identity of the current instance (this). Connned types protect objects from use by untrusted code, while anonymous methods allow standard classes to be reused from connned classes. We have implemented a veriier which performs a modular analysis of Java programs and provides a static guarantee that connnement is respected. We present security related programming examples.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Su(mjn) Supersymmetric Calogero-sutherland Model Connned in Harmonic Potential Typeset Using Revtex

In this work, we study a continuous quantum system of a mixture of bosons and fermions with the supersymmetry SU(mjn). The particles are connned in a harmonic well and interact with each other through the 1=r 2 interaction. An eigenstate of the hamiltonian is constructed explicitly for the most general SU(mjn) case and its energy is given explicitly. It is argued that this eigenstate is the gro...

متن کامل

Stuctural and Dynamic Properties of Hexadecane Lubricants under Shear Flow in a Connned Geometry

Using shear dynamics simulations we investigated the structure and dynamics of hexadecane (n-C 16 H 34) lubricant lms connned between two solid surfaces (Fe 2 O 3) covered with a self-assembled monolayer of wear inhibitors dithiophosphate molecules DTP = S 2 P(OR) 2 with R = iPr, iBu, and Ph]. We found signiicant density oscillations in the lubricant lms, especially near the top and bottom boun...

متن کامل

Physical design for testability for bridges in CMOS circuits

Present research in design for testability has largely been connned to the logic level. In this paper we present directions for research in design for testability at the layout or physical design level. These are illustrated for bridge faults in circuits consisting of CMOS standard cells.

متن کامل

A Positive Finite - Di erence Advection Scheme

1 Abstract. This paper examines a class of explicit nite-diierence advection schemes derived along the method of lines. An important application eld is large-scale atmospheric transport. The paper therefore focuses on the demand of positivity. For the spatial discretization, attention is connned to conservative schemes using 5 points per direction. The 4-th order central scheme and the family o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999